1. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
2. Information algebras :
پدیدآورنده : Jürg Kohlas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Computer science -- Mathematics.,Information theory -- Mathematics.
رده :
QA76
.
9
.
M35
J874
2003
3. Simplified independence proofs
پدیدآورنده : [by] J. Barkley Rosser.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean.,Independence (Mathematics),Set theory.
4. Simplified independence proofs; Boolean valued models of set theory
پدیدآورنده : Rosser, John Barkley
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Independence )Mathematics(,، Algebra, Boolean,، Set theory
رده :
QA
3
.
P8
vol
.
31
5. simplified independence proofs; Boolean valued models of set theory
پدیدآورنده : / [by] J. Barkley Rosser,Rosser
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Independence(Mathematics),Algebra, Boolean,Set Theory -- Study and teaching
رده :
QA
266
.
R6
